Results for 'Itala M. Loffredo D'Ottaviano'

1000+ found
Order:
  1.  29
    Deductive systems and translations.Itala M. Loffredo D'Ottaviano & H. A. Feitosa - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 125--157.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  31
    Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “(k)”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC n, 1≤n<ω, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
    This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.
     
    Export citation  
     
    Bookmark  
  4.  24
    Paraconsistent Logics and Translations.Itala M. Loffredo D’Ottaviano & Hércules de Araújo Feitosa - 2000 - Synthese 125 (1-2):77-95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  25
    Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.
    This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  43
    Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
    The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  41
    Paraconsistent Logics and Translations.Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa - 2000 - Synthese 125 (1/2):77 - 95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. " Cogito ergo sum non machina!" About Gödel's first incompleteness theorem and turing machines.Ricardo Pereira Tassinari & Itala M. Loffredo D'Ottaviano - 2007 - Cogito 7:3.
  9.  28
    Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n (...))
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  15
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
  11.  17
    Foreword.Daniele Mundici & Itala M. Loffredo D’Ottaviano - 2011 - Studia Logica 97 (1):1-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  37
    Aristotle’s Theory of Deduction and Paraconsistency.Evandro Luís Gomes & Itala M. Loffredo D'Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71–97.
    In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. Pragmatic Nonsense.Ricardo Peraça Cavassane, Itala M. Loffredo D'Ottaviano & Felipe Sobreira Abrahão - manuscript
    Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    Quality and Form in the philosophy of Charles Sanders Peirce.Alexandre Augusto Ferraz & Itala M. Loffredo D’Ottaviano - 2020 - Cognitio 20 (2):343-377.
    O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  42
    Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Big Data and the Emergence of Zemblanity and Self-Fulfilling Prophecies.Ricardo Peraça Cavassane, Itala M. Loffredo D'Ottaviano & Felipe Sobreira Abrahão - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  15
    Foreword DOI: 10.5007/1808-1711.2011v15n1p1.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundice - 2011 - Principia: An International Journal of Epistemology 15 (1):1-5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  28
    Foreword.Evandro Agazzi, Itala M. L. D'Ottaviano & Daniele Mundici - 2011 - Manuscrito 34 (1):09-17.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Foreword.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundice - 2011 - Principia: An International Journal of Epistemology 15 (1):1–5.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  18
    Foreword DOI:10.5007/1808-1711.2011v15n2p223.Evandro Agazzi, Ítala M. Loffredo D’Ottaviano & Daniele Mundici - 2011 - Principia: An International Journal of Epistemology 15 (2):223-224.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Pablo Domínguez Prieto. Indeterminación y verdad. La polivalencia lógica en la escuela de Lvóv-Varsovia. Nossa y Jara Editores, Madrid 1995, 289 pp. [REVIEW]Itala M. L. D'Ottaviano - 2000 - Bulletin of Symbolic Logic 6 (3):349-351.
  22.  44
    Conservative translations.Hércules A. Feitosa & Itala M. Loffredo D'Ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
    In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  23. Aftermath of the Logical Paradise.Jean-Yves Beziau, Alexandre Costa-Leite & Itala M. Loffredo D’Ottaviano (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark  
  24.  71
    New dimensions on translations between logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano - 2009 - Logica Universalis 3 (1):1-18.
    After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli & Itala M. L. D'ottaviano - 2001 - Studia Logica 69 (3):439-439.
     
    Export citation  
     
    Bookmark  
  26.  68
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  2
    The Many Sides of Logic.Walter Carnielli, Marcello E. Coniglio & Itala M. Loffredo D’Ottaviano (eds.) - 2009 - College Publications.
    The ``Many Sides of Logic'' is a volume containing a selection of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  17
    Xv latin american symposium on mathematical logic (slalm 2012).Itala Maria Loffredo D'Ottaviano - 2013 - Bulletin of Symbolic Logic 19 (3):332-376.
  29.  26
    Carnielli, Walter (ed.). Logic and Philosophy of the Formal Sciences: A Festscrift for Itala M. Loffredo D´ Ottaviano. São Paulo: Centro de Lógica, Epistemología e Historia da Ciência, UNICAMP (Número especial de Manuscrito, Revista Internacional de Filosofia, vol. 28, n. 2, jul-dez.) pp. 191-591.(2005). [REVIEW]Tomás Barrero - 2006 - Ideas Y Valores 55 (132):124-126.
  30.  19
    Paraconsistency: the logical way to the inconsistent, edited by Walter A. Carnielli, Marcelo E. Coniglio, and Itala M. Loffredo D'Ottaviano, Marcel Dekker, New York, 2002, xiv + 552 pp. [REVIEW]Casey N. McGinnis - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.
  31. Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Um panorama da teoria aristotélica do silogismo categórico.Evandro Luís Gomes & Itala Maria L. D'Ottaviano - 2010 - CLE E-Prints 10 (4):1-22.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  15
    Richard L. Epstein. The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux. Nijhoff international philosophy series, vol. 35. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xxii + 386 pp. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
  34.  13
    Review: Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux, The Semantic Foundations of Logic. Volume 1: Propositional Logics. [REVIEW]Graeme Forbes - 1991 - Journal of Symbolic Logic 56 (4):1499-1500.
  35.  30
    Para além das Colunas de Hércules, uma história da paraconsistência.Evandro Luis Gomes & Itala Maria Loffredo D'Ottaviano - 2017 - Campinas, Brazil: Editora da Unicamp.
  36.  45
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano - 2005 - Logic Journal of the IGPL 13 (1):1-3.
    This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  5
    Paraconsistency, the logical way to the inconsistent.W. A. Carnielli, M. E. Coniglio & I. M. L. Loffredo D'Ottaviano (eds.) - 2002 - CRC Press.
    Proceedings of the II World Congress on Paraconsistency held in Juquey, SP, Brazil, from May 12-19, 2000.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Many-valued points and equality.I. M. L. D'Ottaviano & H. D. A. Feitosa - 2000 - Synthese 125 (1-2):77-95.
  39.  10
    Conference Report.I. D'ottaviano, W. Carnielli, A. Sette & M. Wrigley - 1997 - Logic Journal of the IGPL 5 (3):135-173.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Conferences.I. M. L. D'Ottaviano - 1997 - Logic Journal of the IGPL 5 (3):1-38.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Natural deduction for paraconsistent logic.Milton Augustinis de Castro & Itala Maria Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
     
    Export citation  
     
    Bookmark   2 citations  
  42.  12
    Paraconsistency: The Logical Way to the Inconsistent.Walter Alexandr Carnielli, Marcelo Coniglio & Itala Maria Lof D'ottaviano - 2002 - Marcel Dekker.
    This impressive compilation of the material presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastião, São Paulo, Brazil, represents an integrated discussion of all major topics in the area of paraconsistent logic---highlighting philosophical and historical aspects, major developments and real-world applications.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Gestión de la docencia sai una visión estudiantil durante la pandemia.M. Gloria F. Serrano, D. M. Berenice Quintana, H. Miguel A. Abreu, E. Elisa Guillaumín, V. Irene L. Rivera & M. Ángel MArtínez - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (3):1-17.
    A partir de una encuesta por correo electrónico a estudiantes de Ingeniería en el SAI de la UAMA en un contexto de enseñanza remota forzado por la pandemia, se caracteriza la gestión de la docencia, desde la visión de los estudiantes, se realiza un diagnóstico de los aspectos relacionados. Es un estudio transversal con un análisis cualitativo y descriptivo de las respuestas. La gestión docente se ve afectada por factores inherentes al proceso, así como también por factores externos. Los resultados (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. La Ley Natural en Locke: entre lo divino y lo empírico.D. M. Patiño - 2010 - Diálogo Filosófico 76:83-102.
    A partir algunas aseveraciones que se encuentran en Los Ensayos y en el Segundo Tratado sobre el Gobierno Civil se puede pensar que para Locke cuestiones básicas sobre la Ley Natural tienen su fundamento en principios teológicos, no obstante, en este escrito se tiene por objetivo mostrar que, aunque el origen de la Ley Natural sea divino, difiere de la forma como se adquieren los contenidos de la mencionada ley y del principio o motor por el cual la voluntad se (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  32
    D. W. R OLLER : The Building Program of Herod the Great . Pp. xvii + 351, maps, figs. Berkeley, Los Angeles, and London: University of California Press, 1998. Cased, £37.50/$50. ISBN: 0-520-20934-. [REVIEW]M. D. Goodman - 1999 - The Classical Review 49 (1):291-292.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Agustın entre los mozárabes: un testimonio.M. C. Dıaz Y. Dıaz - 1980 - Augustinus 25:157-180.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  11
    The Healthy Body Paradox: Organizational and Interactional Influences on Preadolescent Girls’ Body Image in Los Angeles.Bianca D. M. Wilson, Kerrie Kauer & Lauren Rauscher - 2013 - Gender and Society 27 (2):208-230.
    In this article, we present paradoxical findings from a formative evaluation research project that explores how preadolescent girls understand and feel about their bodies after participating in “Girls on the Run of Los Angeles County”, a girl-serving positive youth development program. Findings from pre/post test data show that girls’ body image improved after participation in GOTR LA, yet many girls also reported the dominant thin ideal and the importance of not being fat as key characteristics of strong and healthy bodies. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  30
    A New Approach to Greek and Latin Literature - Joshua Whatmough: Poetic, Scientific and other Forms of Discourse. A New Approach to Greek and Latin Literature. (Sather Classical Lectures, vol. xxix.) Pp. xii+285. Berkeley and Los Angeles: University of California Press (London: Cambridge University Press), 1956. Cloth, 37 s_. 6 _d. net. [REVIEW]D. M. Jones - 1958 - The Classical Review 8 (02):136-139.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  46
    Plautus, Pontano and Panormita Rita Cappelletto: La 'Lectura Plauti' del Pontano. Con edizione delle postille del cod. Vindob. Lat. 3168 e osservazioni sull' 'Itala recensio' (Ludus Philologiae, 2.) Pp. 295; 28 plates. Urbino: Quattro Venti, 1988. Paper, L. 35,000. [REVIEW]M. D. Reeve - 1990 - The Classical Review 40 (01):24-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  25
    Biology and Medicine The Human Brain and Spinal Cord. A Historical Study Illustrated by Writings from Antiquity to the Twentieth Century. By Edwin Clark and C. D. O'Malley. Berkeley and Los Angeles: University of California Press. 1968. Pp. xiii + 926. $25.00. [REVIEW]M. D. Grmek - 1969 - British Journal for the History of Science 4 (4):413-414.
1 — 50 / 1000